COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ideas[e85,jmc]		
C00006 ENDMK
C⊗;
ideas[e85,jmc]		

jul 28 - Prolog with asserts and retracts only corresponds to
procedural languages.  While the pure Prolog is more elegant,
the procedural language should also be studied.  We should
add commitments and references to the past.  Perhaps also
explicit contexts?

sep 5 - Pednault's important trivial discovery.  On p.20 of his
"Preliminary report on a theory of plan synthesis" he tells us
that if  p  is one of the final goals, there is a time at which  p
is achieved and maintained.  If  p  and  q  are two final goals,
and the truth of  p  prevents the achievement of  q,  then  any
plan must finally achieve  p  after it finally achieves  q.
This is obvious but was not imbedded in previous planning systems.
Moral: We will discover lots of common sense after many years
that will seem obvious once stated.

Pednault's ideas overlap my idea about doing what might as well
be done first first and what might as well be done last last.

When operators commute there is the possibility of useless n!
searches.  Thus we need lemmas that operators commute.

What about a paper on planning?
plans with loops
plans that take into account commuting operators
plans that are interruptible to high level when common sense
is required, e.g. while we are at the airport, a policeman
asks us to wait until they have removed a would-be hijacker.

sep 5 - Lewontin's Dialectical Biologist contains some good
ideas amidst the Marxist junk.  He essentially says that to
analyze evolution in terms of progress, one needs a commitment
about what is to constitute progress.  Consider the following
gedanken-experiment: Put a representative selection of modern
animals in a Paleozoic environment, along with the Paleozoic
animals.  Would the modern animals dominate - given (say)
the 300 million years of further evolution?  It seems to me
that then answer isn't obvious unless the animals include men of
the nineteenth or twentieth centuries.
Technological man would dominate any environment that didn't kill
us immediately, because we could figure out how to use whatever
resources were available.